Optimal. Leaf size=1089 \[ -\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}+\frac {3 a^2 b d \log (e+f x)}{f^2-(d e-c f)^2}-\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,-\frac {1+c+d x}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)}+\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)}-\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 2.07, antiderivative size = 1094, normalized size of antiderivative = 1.00, number of steps
used = 30, number of rules used = 18, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.900, Rules used = {6244, 6873,
6256, 6820, 12, 6857, 84, 6874, 6055, 2449, 2352, 6057, 2497, 6095, 6205, 6745, 6203, 6059}
\begin {gather*} \frac {3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{-c-d x+1}\right ) b^3}{2 f (d e-c f+f)}-\frac {3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{c+d x+1}\right ) b^3}{2 f (d e-c f-f)}+\frac {3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{c+d x+1}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{-c-d x+1}\right ) b^3}{2 f (d e-c f+f)}+\frac {3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^3}{2 f (d e-c f-f)}-\frac {3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 d \text {Li}_3\left (1-\frac {2}{-c-d x+1}\right ) b^3}{4 f (d e-c f+f)}+\frac {3 d \text {Li}_3\left (1-\frac {2}{c+d x+1}\right ) b^3}{4 f (d e-c f-f)}-\frac {3 d \text {Li}_3\left (1-\frac {2}{c+d x+1}\right ) b^3}{2 (d e-c f+f) (d e-(c+1) f)}+\frac {3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{2 (d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \tanh ^{-1}(c+d x) \log \left (\frac {2}{-c-d x+1}\right ) b^2}{f (d e-c f+f)}-\frac {3 a d \tanh ^{-1}(c+d x) \log \left (\frac {2}{c+d x+1}\right ) b^2}{f (d e-c f-f)}+\frac {6 a d \tanh ^{-1}(c+d x) \log \left (\frac {2}{c+d x+1}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}-\frac {6 a d \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \text {Li}_2\left (-\frac {c+d x+1}{-c-d x+1}\right ) b^2}{2 f (d e-c f+f)}+\frac {3 a d \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^2}{2 f (d e-c f-f)}-\frac {3 a d \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 a^2 d \log (-c-d x+1) b}{2 f (d e-c f+f)}+\frac {3 a^2 d \log (c+d x+1) b}{2 f (d e-c f-f)}-\frac {3 a^2 d \log (e+f x) b}{(d e-c f+f) (d e-(c+1) f)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 84
Rule 2352
Rule 2449
Rule 2497
Rule 6055
Rule 6057
Rule 6059
Rule 6095
Rule 6203
Rule 6205
Rule 6244
Rule 6256
Rule 6745
Rule 6820
Rule 6857
Rule 6873
Rule 6874
Rubi steps
\begin {align*} \int \frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{(e+f x)^2} \, dx &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \int \frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{(e+f x) \left (1-(c+d x)^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \int \frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{(e+f x) \left (1-c^2-2 c d x-d^2 x^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b) \text {Subst}\left (\int \frac {\left (a+b \tanh ^{-1}(x)\right )^2}{\left (\frac {d e-c f}{d}+\frac {f x}{d}\right ) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b) \text {Subst}\left (\int \frac {d \left (a+b \tanh ^{-1}(x)\right )^2}{(d e-c f+f x) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \text {Subst}\left (\int \frac {\left (a+b \tanh ^{-1}(x)\right )^2}{(d e-c f+f x) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \text {Subst}\left (\int \left (-\frac {a^2}{(-1+x) (1+x) (d e-c f+f x)}-\frac {2 a b \tanh ^{-1}(x)}{(-1+x) (1+x) (d e-c f+f x)}-\frac {b^2 \tanh ^{-1}(x)^2}{(-1+x) (1+x) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {\left (3 a^2 b d\right ) \text {Subst}\left (\int \frac {1}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)^2}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {\left (3 a^2 b d\right ) \text {Subst}\left (\int \left (\frac {1}{2 (d e+f-c f) (-1+x)}+\frac {1}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \left (\frac {\tanh ^{-1}(x)}{2 (d e+f-c f) (-1+x)}+\frac {\tanh ^{-1}(x)}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2 \tanh ^{-1}(x)}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \left (\frac {\tanh ^{-1}(x)^2}{2 (d e+f-c f) (-1+x)}+\frac {\tanh ^{-1}(x)^2}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2 \tanh ^{-1}(x)^2}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{1+x} \, dx,x,c+d x\right )}{f (d e-f-c f)}+\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)^2}{1+x} \, dx,x,c+d x\right )}{2 f (d e-f-c f)}-\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{-1+x} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)^2}{-1+x} \, dx,x,c+d x\right )}{2 f (d e+f-c f)}-\frac {\left (6 a b^2 d f\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {\left (3 b^3 d f\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)^2}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e-f-c f)}+\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x) \log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e-f-c f)}-\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x) \log \left (\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2 (d e-c f+f x)}{(d e+f-c f) (1+x)}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{f (d e-f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (1-\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e-f-c f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-c-d x}\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (1-\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e+f-c f)}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \tanh ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 20.88, size = 2701, normalized size = 2.48 \begin {gather*} \text {Result too large to show} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 4.01, size = 5732, normalized size = 5.26
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(5732\) |
default | \(\text {Expression too large to display}\) | \(5732\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {atanh}{\left (c + d x \right )}\right )^{3}}{\left (e + f x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\mathrm {atanh}\left (c+d\,x\right )\right )}^3}{{\left (e+f\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________